индескное исчисление

index calculus

аппарат исчисления предикатов — predicate calculus machinery

узкое исчисление предикатов — restricted predicate calculus

пропозициональное исчисление — propositional calculus

исчисление бесконечно малых — infinitesimal calculus

исчисление вероятностей — calculus of probability